Strong temporal planning with uncontrollable durations
نویسندگان
چکیده
منابع مشابه
Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach
In many practical domains, planning systems are required to reason about durative actions. A common assumption in the literature is that the executor is allowed to decide the duration of each action. However, this assumption may be too restrictive for applications. In this paper, we tackle the problem of temporal planning with uncontrollable action durations. We show how to generate robust plan...
متن کاملCompiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
Real world temporal planning often involves dealing with uncertainty about the duration of actions. In this paper, we describe a sound-and-complete compilation technique for strong planning that reduces any planning instance with uncertainty in the duration of actions to a plain temporal planning problem without uncertainty. We evaluate our technique by comparing it with a recent technique for ...
متن کاملChallenges for Temporal Planning with Uncertain Durations
We investigate the problem of temporal planning with concurrent actions having stochastic durations, especially in the context of extended-state-space based planners. The problem is challenging because stochastic durations lead to an explosion in the space of possible decision-epochs, which exacerbates the familiar challenge of growth in executable action combinations caused by concurrency. We ...
متن کاملProbabilistic Temporal Planning with Uncertain Durations
Few temporal planners handle both concurrency and uncertain durations, but these features commonly co-occur in realworld domains. In this paper, we discuss the challenges caused by concurrent, durative actions whose durations are uncertain. We present five implemented algorithms, including ∆DURprun, a planner guaranteed to find the optimal policy. An empirical comparison reveals that ∆DURexp, o...
متن کاملMetric Temporal Logic with Durations
We present a formal framework based on metric temporal logic (MTL) for specifying and verifying real-time systems with a continuous environment. Metric temporal logic is extended to allow speciication of properties about duration of system's states. We prove that every formula of the duration calculus (DC) can be translated into an equivalent MTL-R formula. Expressiveness of DC and MTL-R are co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2018
ISSN: 0004-3702
DOI: 10.1016/j.artint.2017.11.006